Réactions dans le sulfolane. II. Etude électrochimique de systèmes oxydo-réducteurs des halogènes

Etude des systèmes d'horodatage

RÉSUMÉ. Cet article représente une synthèse des résultats de la communauté scientifique dans le domaine de l’horodatage électronique. L’horodatage de documents électroniques est une technique cryptographique permettant de prouver qu’un document a été créé à une certaine date et qu’il n’a pas été modifié depuis cette date. Le développement de systèmes d'horodatage sûrs représente un enjeu import...

Evaluation de la validité de la simulation dans le cadre du développement des systèmes embarqués

ion Périmètre Exactitude Relation Architecture Donnée Calcul Temps

Investigation on the typing of equality in type systems. (Etude sur le typage de l'égalité dans les systèmes de types)

Pure Type Systems are a good way to factorize the questions of meta-theory about a large family of type systems. They have been introduced as a generalization of Barendregt’s λ-cube, an abstraction of several type systems like the Simply Typed λ-Calculus, System F or the Calculus of Constructions. One critical detail of the Pure Type Systems is their conversion rule that allows to do computatio...

Interrogation efficace de ressources distribuées dans des systèmes de médiation

With the recent developments of the Web, we witness a shift from data integration systems to data and program integration applications, allowing communities of users to share their resources: data, programs, and computing power. This work investigates data and program integration in a fully distributed peer-to-peer mediation architecture. The challenge in making such a system succeed at a large...

Etude du cuivre et de l'hémocupreine sanguin dans la maladie de Chalcopenie des ovidés en Iran